<html>

<head>
<title>Documentation</title>
<meta HTTP-EQUIV="Refresh" CONTENT="0; URL=html/index.html">
</head>
<body>
<a HREF="html/index.html">Documentation</a>
</body>
</html>
